@Article{Tru_j2006, author = {Bianca~Truthe}, title = {The finiteness of synchronous, tabled picture languages is decidable}, journal = tcs, year = {2006}, volume = {366}, number = {3}, pages = {297--315}, url = {http://dx.doi.org/10.1016/j.tcs.2006.08.028} }